Lock Inheritance in Nested

نویسنده

  • Patrick Valduriez
چکیده

The exibility of nested transactions is generally provided at the expenses of a more complex locking mechanism which must deal with expensive lock inheritance. In this paper, we give a solution for eecient lock inheritance. Our solution does not change the original nested transaction model but does revisit its locking rules using set-oriented semantics. This allows us to trade the cost of lock propagation at sub-transaction commit for a potentially more complex connict detection. Then we propose an eecient lock implementation which maintain the overhead of lock requests comparable to the traditional overhead in at transactions. We conducted a number of comparative measurements in order to evaluate our trade-oo. Our benchmarks show a cut oo from 10% to 40% of the global time spent in lock operations, including lock requests and commits.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Cost of Lock Inheritance in Lock Managers Supporting Nested Transactions

The exibility of nested transactions is generally provided at the expense of a more complex locking mechanism which must deal with expensive lock inheritance. In this paper, we give a solution for eecient lock inheritance. Our solution does not change the original nested transactions model but does revisit its locking rules using set-oriented semantics. This allows us to trade the cost of lock ...

متن کامل

Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems

When a real-time system is realized on a shared-memory multiprocessor, priority-ordered spin locks are often required to reduce priority inversions. However, simple priority-ordered spin locks can cause uncontrolled priority inversions when they are used for nested spin locks. This paper points out the problem of uncontrolled priority inversions in the context of spin locks and proposes priorit...

متن کامل

Concurrency Control in Nested Transactions with Enhanced Lock Models for KBMSs

Nested transactions (NTs) allow the decomposition of execution units and finer grained control over concurrency and recovery than conventional, flat transactions. Due to their characteristics, they provide adequate control structures for modeling transactions in several different environments. In this paper, we concentrate on the use of NTs in Knowledge Base Management Systems (KBMSs). With res...

متن کامل

ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions

~hstt~ct A simple and efficient recovery method for nested transact.ions, called ARIES/NT (Algorithm for Recovery and Isolation Exploiting Semantics for Nested ‘I’ransactions), that uses wrile-ahead logging and supports semantically-rich modes of locking and operation logging is presented. ‘I’his method applies to a very general model of nested transactions, which includes parlial rollbacks of ...

متن کامل

Reasoning about Threads with Bounded Lock Chains

The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. Unfortunately, it is undecidable even for the most commonly used synchronization primitive, i.e., mutex locks. Lock usage in concurrent programs can be characterized in terms of lock chains, where a sequence of mutex lo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007